Mark last change as documented in the manual.

diff --git a/etc/NEWS b/etc/NEWS
index a6d73ad44de53964ccdea3dc07b544ebcef2c77e..ac7e314eb2ef9136a2845b8f5dfb40dd729ce09f 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -26,6 +26,7 @@ much pure storage it will approximately need.
 `${foo}' in the specified new value of the environment variable.  To
 include a `$' in the value, use `$$'.
 
++++
 ** File-name completion can now ignore directories.
 If an element of the list in `completion-ignored-extensions' ends in a
 slash `/', it indicates a subdirectory that should be ignored when